package sketch.main;

import sketch.ounit.Observer;
import sketch.ounit.Values;
import sketch.specs.annotation.TestSketch;
import junit.framework.TestCase;


public class SymbolicWithSetupTearDown extends TestCase {

	treemap.TreeMap map = null;
	
	public void setUp() {
		map = new treemap.TreeMap();
	}
	
	@TestSketch
	public void testSymbolic() {
		map.put(1);
		map.put(2);
		map.remove(Values.symbolicInt());
		Observer.observeExpr(map.toString());
	}
	
}